<!DOCTYPE html>
<html>
<head>
  <title>Sample page for issue 5237</title>
</head>
<body>
  <iframe id="search" src="issue5237_frame.html"></iframe>
</body>
</html>
